منابع مشابه
Axiom Pinpointing is Hard
We investigate the complexity of several decision, enumeration and counting problems in axiom pinpointing in Description Logics. We prove hardness results that already hold for the propositional Horn fragment. We show that for this fragment, unless p = np, all minimal subsets of a given TBox that have a given consequence, i.e. MinAs, cannot be enumerated in a specified lexicographic order with ...
متن کاملAutomata-based Pinpointing for DLs
Recent years have seen a boom in the creation and development of ontologies. Unfortunately, the maintenance of such ontologies is an error-prone process. On one side, it is in general unrealistic to expect a developer to be simultaneously a domainand an ontology-expert. This leads to problems when a part of the domain is not correctly understood, or when, although correctly understood, is trans...
متن کاملAxiom Pinpointing in General Tableaux
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. The pinpointing algorithms described in the DL literature are obtained as extensions of the standard tableau-based r...
متن کاملEntailment-based Axiom Pinpointing in Debugging Incoherent Terminologies
One of the major problems of axiom pinpointing for incoherent terminologies is the precise positioning within the conflict axioms. In this paper we present a formal notion for the entailment-based axiom pinpointing of incoherent terminologies, where the parts of an axiom is defined by atomic entailment. Based on these concepts, we prove the one-to-many relationship between existing axiom pinpoi...
متن کاملAxiom Pinpointing Using an Assumption-Based Truth Maintenance System
The problem of axiom pinpointing [1, 22], that is, finding the minimal set of axioms responsible for an unwanted consequence, is an important problem in ontology debugging. One approach to identifying the axioms responsible for an unwanted consequence is to trace dependencies between inferences leading to the consequence. Several authors have proposed truth maintenance systems as a means of kee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2010
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-010-9181-2